оператор следования

См. также в других словарях:

• Точка следования — (англ. Sequence point)  в программировании любая точка программы, в которой гарантируется, что все побочные эффекты предыдущих вычислений уже проявились, а побочные эффекты последующих еще отсутствуют. Их часто упоминают, говоря о… …   Википедия

• Коносамент — (Consignment) Определение коносамента, разновидности и функции коносамента Информация об определении коносамента, разновидности и функции коносамента Содержание Содержание Обозначение Разновидности и чартер как правовая основа морских перевозок… …   Энциклопедия инвестора

• ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

• ГОРКА СОРТИРОВОЧНАЯ — станционное устройство, позволяющее благодаря уклону жел. дор. путей использовать при маневрах силу тяжести вагонов для самостоятельного их движения (скатывания) на разветвляющиеся пути сортировочного парка. Г. с. оборудуются крупные… …   Технический железнодорожный словарь

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• Российские железные дороги — Запрос «РЖД» перенаправляется сюда; см. также другие значения. Эта статья про открытое акционерное общество «РЖД», вы могли искать статью про железные дороги России. ОАО «Российские железные дороги» …   Википедия

• Балтийский вокзал (Таллин) — Координаты: 59°26′23.82″ с. ш. 24°44′13.74″ в. д. / 59.43995° с. ш. 24.73715° в. д.  …   Википедия

• Deutsche Bahn — AG Тип …   Википедия

• НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи …   Математическая энциклопедия

• РЕЛЕВАНТНАЯ ЛОГИКА —     РЕЛЕВАНТНАЯ ЛОГИКА направление в символической логике (см. Логика символическая), которое возникло и развивалось в качестве альтернативы классической символической логике. В названии “релевантная” (термины “релевантный”, “релевантность”… …   Философская энциклопедия

• релевантная логика —         РЕЛЕВАНТНАЯ ЛОГИКА (от англ. relevant существенный) одно из направлений современной неклассической логики, сформировавшееся во второй половине 20 в. Ее возникновение связано с попыткой решить проблему формализации логического следования и …   Энциклопедия эпистемологии и философии науки